<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
 -->
<!-- Title: G Pages: 1 -->
<svg width="264pt" height="116pt"
 viewBox="0.00 0.00 264.00 116.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 112)">
<title>G</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-112 260,-112 260,4 -4,4"/>
<!-- top -->
<g id="node1" class="node">
<title>top</title>
<ellipse fill="none" stroke="#000000" cx="123" cy="-90" rx="18" ry="18"/>
</g>
<!-- left1 -->
<g id="node2" class="node">
<title>left1</title>
<polygon fill="none" stroke="#000000" points="110,-36 0,-36 0,0 110,0 110,-36"/>
<text text-anchor="middle" x="55" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">sort [2,3,1,1]</text>
</g>
<!-- top&#45;&#45;left1 -->
<g id="edge1" class="edge">
<title>top&#45;&#45;left1</title>
<path fill="none" stroke="#000000" d="M110.5278,-76.7941C99.7154,-65.3457 83.9686,-48.6726 72.003,-36.0032"/>
</g>
<!-- right1 -->
<g id="node3" class="node">
<title>right1</title>
<polygon fill="none" stroke="#000000" points="256,-36 128,-36 128,0 256,0 256,-36"/>
<text text-anchor="middle" x="192" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">sort [10,0,14,4]</text>
</g>
<!-- top&#45;&#45;right1 -->
<g id="edge2" class="edge">
<title>top&#45;&#45;right1</title>
<path fill="none" stroke="#000000" d="M135.6557,-76.7941C146.6271,-65.3457 162.6054,-48.6726 174.7469,-36.0032"/>
</g>
</g>
</svg>
